least Upper Bound

join shbcf.ru